Mathematical logic

Results: 6679



#Item
921Towards Proof Planning for M+ ω Carsten Sch¨ urmann Yale University

Towards Proof Planning for M+ ω Carsten Sch¨ urmann Yale University

Add to Reading List

Source URL: www.itu.dk

Language: English - Date: 2002-08-05 12:06:59
922CS 70 Spring 2005 Discrete Mathematics for CS Clancy/Wagner

CS 70 Spring 2005 Discrete Mathematics for CS Clancy/Wagner

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2015-01-21 19:48:43
923QUASIPOLYNOMIAL NORMALISATION IN DEEP INFERENCE VIA ATOMIC FLOWS AND THRESHOLD FORMULAE PAOLA BRUSCOLI, ALESSIO GUGLIELMI, TOM GUNDERSEN, AND MICHEL PARIGOT ABSTRACT. Jeˇrábek showed that cuts in propositional-logic de

QUASIPOLYNOMIAL NORMALISATION IN DEEP INFERENCE VIA ATOMIC FLOWS AND THRESHOLD FORMULAE PAOLA BRUSCOLI, ALESSIO GUGLIELMI, TOM GUNDERSEN, AND MICHEL PARIGOT ABSTRACT. Jeˇrábek showed that cuts in propositional-logic de

Add to Reading List

Source URL: www.cs.bath.ac.uk

Language: English - Date: 2014-05-05 11:51:09
924Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View Gilles Dowek  Peter Andrews has proposed, in 1971, the problem of finding an analog

Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View Gilles Dowek Peter Andrews has proposed, in 1971, the problem of finding an analog

Add to Reading List

Source URL: who.rocq.inria.fr

Language: English - Date: 2011-01-28 11:35:50
925PIK Report No. 103 STRUCTURING DISTRIBUTED RELATION-BASED COMPUTATIONS WITH SCDRC

PIK Report No. 103 STRUCTURING DISTRIBUTED RELATION-BASED COMPUTATIONS WITH SCDRC

Add to Reading List

Source URL: www.pik-potsdam.de

Language: English - Date: 2013-09-12 17:02:47
926Jordan Journal of Mathematics and Statistics (JJMS) 8(1), 2015, ppA DECOMPOSITION OF PAIRWISE CONTINUITY K.M. ARIFMOHAMMED  (1)

Jordan Journal of Mathematics and Statistics (JJMS) 8(1), 2015, ppA DECOMPOSITION OF PAIRWISE CONTINUITY K.M. ARIFMOHAMMED (1)

Add to Reading List

Source URL: journals.yu.edu.jo

Language: English - Date: 2015-05-04 07:48:52
927TM  Traveling Circuits Lesson 3  MY ROBOTIC FRIENDS

TM Traveling Circuits Lesson 3 MY ROBOTIC FRIENDS

Add to Reading List

Source URL: code.org

Language: English - Date: 2014-12-02 16:12:57
928Generating Precise and Concise Procedure Summaries Greta Yorsh ∗ Eran Yahav  Satish Chandra

Generating Precise and Concise Procedure Summaries Greta Yorsh ∗ Eran Yahav Satish Chandra

Add to Reading List

Source URL: www.cs.technion.ac.il

Language: English - Date: 2008-03-27 09:24:14
929Notes on Discrete Mathematics CS 202: Fall 2013 James Aspnes:23  Contents

Notes on Discrete Mathematics CS 202: Fall 2013 James Aspnes:23 Contents

Add to Reading List

Source URL: cs.yale.edu

Language: English - Date: 2014-10-24 21:23:28
930CRITICAL THRESHOLDS IN 1D EULER EQUATIONS WITH NONLOCAL FORCES ´ A. CARRILLO, YOUNG-PIL CHOI, EITAN TADMOR, AND CHANGHUI TAN JOSE Abstract. We study the critical thresholds for the compressible pressureless Euler equati

CRITICAL THRESHOLDS IN 1D EULER EQUATIONS WITH NONLOCAL FORCES ´ A. CARRILLO, YOUNG-PIL CHOI, EITAN TADMOR, AND CHANGHUI TAN JOSE Abstract. We study the critical thresholds for the compressible pressureless Euler equati

Add to Reading List

Source URL: www.cscamm.umd.edu

Language: English - Date: 2015-05-24 00:13:48